<?php
	$rows = 0;
	if ($_REQUEST["info"] == "yes") {
		$rows = 80;
	}
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
<HTML>
	<HEAD>
		<TITLE>Politiemon</TITLE>
	</HEAD>
	<FRAMESET border="0" rows="<?php echo $rows ?>, *">
		<FRAME border="0" name="mgmt" src="mgmt.php">
		<FRAME border="0" name="content" src="kabelkrant.php">
	</FRAMESET>
</HTML>